Deriving the convex hull of a polynomial partitioning set through lifting and projection∗

Relaxations of the bilinear term, x1x2 = x3, play a central role in constructing relaxations of factorable functions. This is because they can be used directly to relax products of functions with known relaxations. In this paper, we provide a compact, closed-form description of the convex hull of this and other more general bivariate monomial terms (which have similar applications in relaxation constructions) in the space of the original variables assuming that the variables and the monomial are restricted to lie in a hyperrectangle. This description is obtained as an intersection of convex hulls of related packing, x1x b2 2 ≤ x3, and covering, x b1 1 x b2 2 ≥ x3, sets, where b1 and b2 are constants greater than or equal to one. The convex hull of each packing/covering set is first obtained as an intersection of semi-infinite families of linear inequalities, each derived using lifting techniques. Then, each family is projected into a few linear/nonlinear inequalities which are fully characterized in the space of the original problem variables.